-
1 empirical principle
Математика: эмпирический принцип -
2 empirical principle
English-Russian electronics dictionary > empirical principle
-
3 empirical principle
The New English-Russian Dictionary of Radio-electronics > empirical principle
-
4 empirical principle
мат. -
5 empirical principle
Англо-русский словарь по исследованиям и ноу-хау > empirical principle
-
6 principle
1) правило; принцип2) закон3) начало, первооснова, (перво)источник•- distributed maximum principle - least number principle - principle of adiabatic invariance - principle of contraction mapping - principle of extension of inequalities - principle of fixed point - principle of harmonic balance - principle of harmonic measure - principle of hyperbolic measure - principle of least squares - principle of length and area - principle of mathematical induction - principle of maximum likelihood - principle of point estimation - principle of stationary phase - principle of stochastic balance - principle of transfinite induction - principle of unsufficient reason - virtual work principle - weak likelihood principle -
7 principle
1) принцип; закон; правило2) принцип действия; механизм работы3) базис; основа•- principle of analytical continuation
- principle of argument
- principle of association
- principle of coding
- principle of duality
- principle of indeterminacy
- principle of least action
- principle of mathematical induction
- principle of point estimation
- principle of relativity
- principle of stationary phase
- principle of superposition
- principle of uncertainty
- abstract principle
- Babinet's principle
- Bayesian principle
- building block principle
- causality principle
- Church-Turing principle
- complementary principle
- constant luminance principle
- coordinate link principle
- Coulomb degeneracy principle
- Doppler principle
- empirical principle
- encompassing principle
- exclusion principle
- Fermat's principle
- Hamilton principle
- Heisenberg uncertainty principle
- heuristic principle
- hierarchical principle
- Huygens-Fresnel principle
- image principle
- Kirchhoff principle
- least time principle
- logical correspondence principle
- minimax principle
- minimum description length principle
- Neumann's principle
- Neumann's principle in space-time
- parsimony principle
- Pauli principle
- Pauli exclusion principle
- reciprocity principle
- Rissanen's principle
- Ritz principle
- variational principle -
8 principle
1) принцип; закон; правило2) принцип действия; механизм работы3) базис; основа•- Babinet's principle
- Bayesian principle
- building block principle
- causality principle
- Church-Turing principle
- complementary principle
- constant luminance principle
- coordinate link principle
- Coulomb degeneracy principle
- Doppler principle
- empirical principle
- encompassing principle
- exclusion principle
- Fermat's principle
- Hamilton principle
- Heisenberg uncertainty principle
- heuristic principle
- hierarchical principle
- Huygens-Fresnel principle
- image principle
- Kirchhoff principle
- least time principle
- logical correspondence principle
- minimax principle
- minimum description length principle
- Neumann's principle in space-time
- Neumann's principle
- parsimony principle
- Pauli exclusion principle
- Pauli principle
- principle of abstraction
- principle of analytical continuation
- principle of argument
- principle of association
- principle of coding
- principle of duality
- principle of indeterminacy
- principle of least action
- principle of mathematical induction
- principle of point estimation
- principle of relativity
- principle of stationary phase
- principle of superposition
- principle of uncertainty
- reciprocity principle
- Rissanen's principle
- Ritz principle
- variational principleThe New English-Russian Dictionary of Radio-electronics > principle
-
9 principle of design
The English-Russian dictionary general scientific > principle of design
-
10 эмпирический принцип
Большой англо-русский и русско-английский словарь > эмпирический принцип
-
11 Knowledge
It is indeed an opinion strangely prevailing amongst men, that houses, mountains, rivers, and, in a word, all sensible objects, have an existence, natural or real, distinct from their being perceived by the understanding. But, with how great an assurance and acquiescence soever this principle may be entertained in the world, yet whoever shall find in his heart to call it into question may, if I mistake not, perceive it to involve a manifest contradiction. For, what are the forementioned objects but things we perceive by sense? and what do we perceive besides our own ideas or sensations? and is it not plainly repugnant that any one of these, or any combination of them, should exist unperceived? (Berkeley, 1996, Pt. I, No. 4, p. 25)It seems to me that the only objects of the abstract sciences or of demonstration are quantity and number, and that all attempts to extend this more perfect species of knowledge beyond these bounds are mere sophistry and illusion. As the component parts of quantity and number are entirely similar, their relations become intricate and involved; and nothing can be more curious, as well as useful, than to trace, by a variety of mediums, their equality or inequality, through their different appearances.But as all other ideas are clearly distinct and different from each other, we can never advance farther, by our utmost scrutiny, than to observe this diversity, and, by an obvious reflection, pronounce one thing not to be another. Or if there be any difficulty in these decisions, it proceeds entirely from the undeterminate meaning of words, which is corrected by juster definitions. That the square of the hypotenuse is equal to the squares of the other two sides cannot be known, let the terms be ever so exactly defined, without a train of reasoning and enquiry. But to convince us of this proposition, that where there is no property, there can be no injustice, it is only necessary to define the terms, and explain injustice to be a violation of property. This proposition is, indeed, nothing but a more imperfect definition. It is the same case with all those pretended syllogistical reasonings, which may be found in every other branch of learning, except the sciences of quantity and number; and these may safely, I think, be pronounced the only proper objects of knowledge and demonstration. (Hume, 1975, Sec. 12, Pt. 3, pp. 163-165)Our knowledge springs from two fundamental sources of the mind; the first is the capacity of receiving representations (the ability to receive impressions), the second is the power to know an object through these representations (spontaneity in the production of concepts).Through the first, an object is given to us; through the second, the object is thought in relation to that representation.... Intuition and concepts constitute, therefore, the elements of all our knowledge, so that neither concepts without intuition in some way corresponding to them, nor intuition without concepts, can yield knowledge. Both may be either pure or empirical.... Pure intuitions or pure concepts are possible only a priori; empirical intuitions and empirical concepts only a posteriori. If the receptivity of our mind, its power of receiving representations in so far as it is in any way affected, is to be called "sensibility," then the mind's power of producing representations from itself, the spontaneity of knowledge, should be called "understanding." Our nature is so constituted that our intuitions can never be other than sensible; that is, it contains only the mode in which we are affected by objects. The faculty, on the other hand, which enables us to think the object of sensible intuition is the understanding.... Without sensibility, no object would be given to us; without understanding, no object would be thought. Thoughts without content are empty; intuitions without concepts are blind. It is therefore just as necessary to make our concepts sensible, that is, to add the object to them in intuition, as to make our intuitions intelligible, that is to bring them under concepts. These two powers or capacities cannot exchange their functions. The understanding can intuit nothing, the senses can think nothing. Only through their union can knowledge arise. (Kant, 1933, Sec. 1, Pt. 2, B74-75 [p. 92])Metaphysics, as a natural disposition of Reason is real, but it is also, in itself, dialectical and deceptive.... Hence to attempt to draw our principles from it, and in their employment to follow this natural but none the less fallacious illusion can never produce science, but only an empty dialectical art, in which one school may indeed outdo the other, but none can ever attain a justifiable and lasting success. In order that, as a science, it may lay claim not merely to deceptive persuasion, but to insight and conviction, a Critique of Reason must exhibit in a complete system the whole stock of conceptions a priori, arranged according to their different sources-the Sensibility, the understanding, and the Reason; it must present a complete table of these conceptions, together with their analysis and all that can be deduced from them, but more especially the possibility of synthetic knowledge a priori by means of their deduction, the principles of its use, and finally, its boundaries....This much is certain: he who has once tried criticism will be sickened for ever of all the dogmatic trash he was compelled to content himself with before, because his Reason, requiring something, could find nothing better for its occupation. Criticism stands to the ordinary school metaphysics exactly in the same relation as chemistry to alchemy, or as astron omy to fortune-telling astrology. I guarantee that no one who has comprehended and thought out the conclusions of criticism, even in these Prolegomena, will ever return to the old sophistical pseudo-science. He will rather look forward with a kind of pleasure to a metaphysics, certainly now within his power, which requires no more preparatory discoveries, and which alone can procure for reason permanent satisfaction. (Kant, 1891, pp. 115-116)Knowledge is only real and can only be set forth fully in the form of science, in the form of system. Further, a so-called fundamental proposition or first principle of philosophy, even if it is true, it is yet none the less false, just because and in so far as it is merely a fundamental proposition, merely a first principle. It is for that reason easily refuted. The refutation consists in bringing out its defective character; and it is defective because it is merely the universal, merely a principle, the beginning. If the refutation is complete and thorough, it is derived and developed from the nature of the principle itself, and not accomplished by bringing in from elsewhere other counter-assurances and chance fancies. It would be strictly the development of the principle, and thus the completion of its deficiency, were it not that it misunderstands its own purport by taking account solely of the negative aspect of what it seeks to do, and is not conscious of the positive character of its process and result. The really positive working out of the beginning is at the same time just as much the very reverse: it is a negative attitude towards the principle we start from. Negative, that is to say, in its one-sided form, which consists in being primarily immediate, a mere purpose. It may therefore be regarded as a refutation of what constitutes the basis of the system; but more correctly it should be looked at as a demonstration that the basis or principle of the system is in point of fact merely its beginning. (Hegel, 1910, pp. 21-22)Knowledge, action, and evaluation are essentially connected. The primary and pervasive significance of knowledge lies in its guidance of action: knowing is for the sake of doing. And action, obviously, is rooted in evaluation. For a being which did not assign comparative values, deliberate action would be pointless; and for one which did not know, it would be impossible. Conversely, only an active being could have knowledge, and only such a being could assign values to anything beyond his own feelings. A creature which did not enter into the process of reality to alter in some part the future content of it, could apprehend a world only in the sense of intuitive or esthetic contemplation; and such contemplation would not possess the significance of knowledge but only that of enjoying and suffering. (Lewis, 1946, p. 1)"Evolutionary epistemology" is a branch of scholarship that applies the evolutionary perspective to an understanding of how knowledge develops. Knowledge always involves getting information. The most primitive way of acquiring it is through the sense of touch: amoebas and other simple organisms know what happens around them only if they can feel it with their "skins." The knowledge such an organism can have is strictly about what is in its immediate vicinity. After a huge jump in evolution, organisms learned to find out what was going on at a distance from them, without having to actually feel the environment. This jump involved the development of sense organs for processing information that was farther away. For a long time, the most important sources of knowledge were the nose, the eyes, and the ears. The next big advance occurred when organisms developed memory. Now information no longer needed to be present at all, and the animal could recall events and outcomes that happened in the past. Each one of these steps in the evolution of knowledge added important survival advantages to the species that was equipped to use it.Then, with the appearance in evolution of humans, an entirely new way of acquiring information developed. Up to this point, the processing of information was entirely intrasomatic.... But when speech appeared (and even more powerfully with the invention of writing), information processing became extrasomatic. After that point knowledge did not have to be stored in the genes, or in the memory traces of the brain; it could be passed on from one person to another through words, or it could be written down and stored on a permanent substance like stone, paper, or silicon chips-in any case, outside the fragile and impermanent nervous system. (Csikszentmihalyi, 1993, pp. 56-57)Historical dictionary of quotations in cognitive science > Knowledge
-
12 Bayes
бейесовский/байесовскийempirical Bayes decision function эмпирическая бейесовская решающая функцияАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > Bayes
-
13 Bayesian
бейесовский/байесовскийempirical Bayesian decision function эмпирическая бейесовская решающая функцияАнглийский-русский словарь по теории вероятностей, статистике и комбинаторике > Bayesian
-
14 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
-
15 verification
noun1) (check) Überprüfung, die2) see academic.ru/80020/verify">verify 2): Bestätigung, die; Bekräftigung, die; Nachweis, der3) (bearing out) Bestätigung, die* * *[-fi-]noun die Nachprüfung, die Beglaubigung* * *veri·fi·ca·tion[ˌverɪfɪˈkeɪʃən, AM ˌverə-]\verification of a testimony Bestätigung f einer Zeugenaussage\verification procedure Prüfungsverfahren nt\verification test Prüfung f* * *["verIfI'keISən]n(= check) Überprüfung f; (= confirmation) Bestätigung f, Verifikation f (geh); (= proof) Nachweis mthese claims are open to empirical verification — diese Behauptungen lassen sich empirisch nachweisen
* * *verification [ˌverıfıˈkeıʃn] s1. (Nach)Prüfung f2. Verifikation f, Verifizierung f, Echtheitsnachweis m, Richtigbefund m3. Beglaubigung f, Beurkundung f4. Belegung f5. JUR US eidliche Bestätigung* * *noun1) (check) Überprüfung, die3) (bearing out) Bestätigung, die* * *n.Nachweis -e m.Prüfung -en f.Verifizierung f.Überprüfung f. -
16 equivalence
1) адекватность; эквивалентность3) равносильность; равноценность; равнозначность• -
17 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
См. также в других словарях:
Principle of maximum entropy — This article is about the probability theoretic principle. For the classifier in machine learning, see maximum entropy classifier. For other uses, see maximum entropy (disambiguation). Bayesian statistics Theory Bayesian probability Probability… … Wikipedia
Principle of distributivity — The principle of distributivity states that the algebraic distributive law is valid for classical logic, where both logical conjunction and logical disjunction are distributive over each other so that for any logical propositions A , B and C the… … Wikipedia
Principle of compositionality — In mathematics, semantics, and philosophy of language, the Principle of Compositionality is the principle that the meaning of a complex expression is determined by the meanings of its constituent expressions and the rules used to combine them.… … Wikipedia
Empirical formula — Formula For mu*la, n.; pl. E. {Formulas}, L. {Formul[ae]}. [L., dim. of forma form, model. See{Form}, n.] 1. A prescribed or set form; an established rule; a fixed or conventional method in which anything is to be done, arranged, or said. [1913… … The Collaborative International Dictionary of English
Empirical limits in science — In philosophy of science the empirical limits of science define problems with observation, and thus are limits of human ability to inquire and answer questions about phenomena. These include topics such as infinity, the future and god. In the… … Wikipedia
empirical — As applied to statements, particular research projects, or even to general approaches to research, the term ‘empirical’ implies a close relationship to sensory experience, observation, or experiment. Sometimes the term is contrasted with abstract … Dictionary of sociology
KISS principle — noun The empirical principle that most systems will work best if they are kept simple rather than made complex … Wiktionary
Is logic empirical? — is the title of two articles that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds … Wikipedia
Semi-empirical mass formula — In nuclear physics, the semi empirical mass formula (SEMF), sometimes also called Weizsäcker s formula, is a formula used to approximate the mass and various other properties of an atomic nucleus. As the name suggests, it is partially based on… … Wikipedia
Handicap principle — The tail of peacocks, the classic example of a handicapped signal of male quality The handicap principle is a hypothesis originally proposed in 1975 by biologist Amotz Zahavi[1][2 … Wikipedia
Maximum power principle — in Energy Systems Language adapted from Odum and Odum 2000, p. 38 The maximum power principle has been proposed as the fourth principle of energetics in open system thermodynamics, where an example of an open system is a biological cell.… … Wikipedia